Visiting address

DS - BI
University of Groningen
Nijenborgh 9
9747 AG Groningen
The Netherlands

Quick links

Follow us

TODO

Heerko Groefsema

Filters

2026

  1. {Colombo Tosatto}, S., Burke, H., {van Beest}, N., & Groefsema, H. (2026). A first and fast symbolic approach for data-aware business process compliance checking. Information and Software Technology, 108047. https://doi.org/10.1016/j.infsof.2026.108047

2025

  1. {Colombo Tosatto}, S., Burke, H., {van Beest}, {Nick R. T. P., & Groefsema, H. (2025). Managing and Anticipating Out-of-Order Events in Online Compliance Monitoring. In J. Krogstie, S. Rinderle-Ma, G. Kappel, & {Henderik A. Proper (eds.), Advanced Information Systems Engineering (pp. 151–166). Springer. https://doi.org/10.1007/978-3-031-94571-7_9

2024

  1. Groefsema, H., & {van Beest}, {N. R. T. P. (2024). Supporting business process variability through declarative process families. Computers in Industry, 159-160. https://doi.org/10.1016/j.compind.2024.104107

2023

  1. {van Beest}, N., Groefsema, H., Cryer, A., Governatori, G., {Colombo Tosatto}, S., & Burke, H. (2023). Cross-Instance Regulatory Compliance Checking of Business Process Event Logs. IEEE Transactions on Software Engineering, 49(11), 1–14. https://doi.org/10.1109/TSE.2023.3319086

2022

  1. Groefsema, H., {van Beest}, N., & Governatori, G. (2022). On the Use of the Conformance and Compliance Keywords During Verification of Business Processes. In {Claudio } {Di Ciccio}, {Remco } Dijkman, {Adela } {del Río Ortega}, & {Stefanie } Rinderle-Ma (eds.), Business Process Management Forum (pp. 21–37). Springer. https://doi.org/10.1007/978-3-031-16171-1_2

2021

  1. Governatori, G., {van Beest}, N., Cryer, A., & Groefsema, H. (2021). "log data compliance" [Patent].

2020

  1. Groefsema, H., van Beest, N. R. T. P., & Armas-Cervantes, A. (2020). Efficient conditional compliance checking of business process models. Computers in Industry, 115.

2019

  1. van Beest, N. R. T. P., Groefsema, H., García-Bañuelos, L., & Aiello, M. (2019). Variability in business processes: Automatically obtaining a generic specification. Information Systems, 80, 36–55. https://doi.org/10.1016/j.is.2018.09.005

2018

  1. Groefsema, H., van Beest, N. R. T. P., & Aiello, M. (2018). A Formal Model for Compliance Verification of Service Compositions. IEEE Transactions on Services Computing, 11(3), 466–479. https://doi.org/10.1109/TSC.2016.2579621

2017

  1. Groefsema, H., {van Beest}, N., & Armas-Cervantes, A. (2017). Automated compliance verification of business processes in Apromore. Proceedings of the BPM Demo Track 2017.

2016

  1. Groefsema, H., & Van Beest, N. (2016). Design-Time Compliance of Service Compositions in Dynamic Service Environments. Proceedings - 2015 IEEE 8th International Conference on Service-Oriented Computing and Applications, SOCA 2015, 108–115.
  2. Groefsema, H. (2016). Business Process Variability: a study into process management and verification [PhD thesis]. Rijksuniversiteit Groningen.

2015

  1. Groefsema, H., & {van Beest}, N. (2015). Design-time Compliance of Service Compositions in Dynamic Service Environments. 8th IEEEE International Conference on Service Oriented Computing & Applications (SOCA), 108–115. https://doi.org/10.1109/SOCA.2015.14

2013

  1. Groefsema, H., & Bucur, D. (2013). A survey of formal business process verification: From soundness to variability. Proceedings of International Symposium on Business Modeling and Software Design, 198–203.

2012

  1. H. Groefsema, P. B., & Aiello, M. (2012). Imperative versus Declarative Process Variability: Why Choose? (Technical Report JBI 2011-12-6; Issue JBI 2011-12-6). University of Groningen. http://www.cs.rug.nl/ds/uploads/pubs/why.pdf
  2. Bulanov, P., Groefsema, H., & Aiello, M. (2012). Business Process Variability: A Tool for Declarative Template Design. Service-Oriented Computing, 7221, 241–242. https://doi.org/10.1007/978-3-642-31875-7_30

2011

  1. Groefsema, H., Bulanov, P., & Aiello, M. (2011). Declarative Enhancement Framework for Business Processes. In G. Kappel, Z. Maamar, & H. MotahariNezhad (eds.), Service-Oriented Computing (Vol. 7084, pp. 495–504). Springer. https://doi.org/10.1007/978-3-642-25535-9_34

2010

  1. Aiello, M., Bulanov, P., & Groefsema, H. (2010). Requirements and Tools for Variability Management. Computer Software and Applications Conference Workshops (COMPSACW), 245–250. https://doi.org/10.1109/COMPSACW.2010.50
  2. Aiello, M., Bulanov, P., & Groefsema, H. (2010). A survey of variability management requirements. 5th SIKS/BENAIS Conference on Enterprise Information Systems, EIS 2010, CEUR Workshop Proceedings, 662, 35–36.